Internal Set Theory: a New Approach to Nonstandard Analysis
نویسنده
چکیده
1. Internal set theory. We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making these powerful methods readily available to the working mathematician. This approach to nonstandard analysis is based on a theory which we call internal set theory (1ST). We start with axiomatic set theory, say ZFC (Zermelo-Fraenkel set theory with the axiom of choice [1]). In addition to the usual undefined binary predicate E of set theory we adjoin a new undefined unary predicate standard. The axioms of 1ST are the usual axioms of ZFC plus three others, which we will state below. All theorems of conventional mathematics remain valid. No change in terminology is required. What is new in internal set theory is only an addition, not a change. We choose to call certain sets standard (and we recall that in ZFC every mathematical object-a real number, a function, etc.-is a set), but the theorems of conventional mathematics apply to all sets, nonstandard as well as standard. In writing formulas we use A for and, V for or, ~ for not, =* for implies, and <=> for is equivalent to. We call a formula of 1ST internal in case it does not involve the new predicate "standard" (that is, in case it is a formula of ZFC); otherwise we call it external. Thus "x standard" is the simplest example of an external formula. To assert that x is a standard set has no meaning within conventional mathematics-it is a new undefined notion. The fact that we have adjoined "standard" as an undefined predicate (rather than defining it in terms of E as is the case with all of the predicates of conventional mathematics) requires a readjustment of an engrained habit. We are used to defining subsets by means of predicates. In fact, it follows from the axioms of ZFC that if A(z) is an internal formula then for all sets x there is a set y = {z E x: A(z)} such that for all sets z we have z&y<&zExA A(z). However, the axioms of ZFC say nothing about external predicates. For example, no axioms allow us to assert that there is a subset S of the set N of all natural numbers such that for all n we have « € S <=> n E N A n standard. We may not use external predicates to define subsets. We call the violation of this rule illegal set formation. We adopt the following abbreviations:
منابع مشابه
A New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملA Constructive Approach to Nonstandard Analysis
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. The theory is intended as a framework for developing elementary nonstandard analysis constructively. More specifically, the theory introduced is a conservative extension of HA” + AC. A predicate for distinguishing standard objects is added as in Nelson’s internal set theory. Weak transfer and idea...
متن کاملThe Gandy-Hyland functional and a computational aspect of Nonstandard Analysis
In this paper, we highlight a new computational aspect of Nonstandard Analysis relating to higher-order computability theory. In particular, we prove that the Gandy-Hyland functional equals a primitive recursive functional involving nonstandard numbers inside Nelson’s internal set theory. From this classical and ineffective proof in Nonstandard Analysis, a term from Gödel’s system T can be extr...
متن کاملNonstandard Analysis by Means of Ideal Values of Sequences
A notion of ideal value of N -sequences is axiomatized through elementary properties. The resulting theory ZFC[α] provides nonstandard analysis with a general foundational framework. 1991 MSC. Primary: 26E35, 03E70, 03H05. Secondary: 03C20, 03E35. In this paper, the axiomatic system ZFC[α] is presented. It is a generalization in a set theoretic context of an approach to nonstandard analysis rec...
متن کاملA New Approach for Knowledge Based Systems Reduction using Rough Sets Theory (RESEARCH NOTE)
Problem of knowledge analysis for decision support system is the most difficult task of information systems. This paper presents a new approach based on notions of mathematical theory of Rough Sets to solve this problem. Using these concepts a systematic approach has been developed to reduce the size of decision database and extract reduced rules set from vague and uncertain data. The method ha...
متن کامل